退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:表格高阶逻辑程序设计的证明理论基础
Brigitte Pientka;
机译:抽象超一致逻辑程序设计的统一证明理论基础
机译:逻辑程序的改进的证明理论汇编
机译:用削减消除法对λ约简进行的证明理论处理:λ-微积分作为逻辑编程语言
机译:表式高阶逻辑编程的证明理论基础
机译:基于需求的表逻辑程序评估
机译:数字解剖学家基础模型的基于逻辑的重塑
机译:逻辑编程的证明理论和高阶扩展
机译:表格高阶逻辑编程
机译:查询表,具有该查询表的可编程逻辑电路装置以及配置该查询表的方法
机译:查找表,具有查找表的可编程逻辑电路装置以及查找表的配置方法
机译:具有逻辑元件和专用硬件的可编程逻辑器件,用于将查找表配置为寄存器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。